51![SoK: Making Sense of Censorship Resistance Systems That CRS SoK paper at PETS Sheharbano Khattak1, Tariq Elahi2, Laurent Simon1, Colleen M. Swanson3, Steven J. Murdoch4, Ian Goldberg5 1: University of Cambridge, 2: KU Le SoK: Making Sense of Censorship Resistance Systems That CRS SoK paper at PETS Sheharbano Khattak1, Tariq Elahi2, Laurent Simon1, Colleen M. Swanson3, Steven J. Murdoch4, Ian Goldberg5 1: University of Cambridge, 2: KU Le](https://www.pdfsearch.io/img/a61c5040beb988c10d05307b17c47682.jpg) | Add to Reading ListSource URL: sheharbano.comLanguage: English - Date: 2017-02-16 07:58:33
|
---|
52![Synthesizing Ranking Functions from Bits and Pieces? Caterina Urban1,2 , Arie Gurfinkel2 , and Temesghen Kahsai2,3 1 ETH Z¨ Synthesizing Ranking Functions from Bits and Pieces? Caterina Urban1,2 , Arie Gurfinkel2 , and Temesghen Kahsai2,3 1 ETH Z¨](https://www.pdfsearch.io/img/5bec54418722fb7912c7db01e261c181.jpg) | Add to Reading ListSource URL: seahorn.github.ioLanguage: English - Date: 2018-08-03 20:31:21
|
---|
53![Key Recovery Attack against 2.5-round π-Cipher Christina Boura1 , Avik Chakraborti2 , Ga¨etan Leurent3 , Goutam Paul2 , Dhiman Saha4 , Hadi Soleimany5,6 and Valentin Suder7 1 6 Key Recovery Attack against 2.5-round π-Cipher Christina Boura1 , Avik Chakraborti2 , Ga¨etan Leurent3 , Goutam Paul2 , Dhiman Saha4 , Hadi Soleimany5,6 and Valentin Suder7 1 6](https://www.pdfsearch.io/img/4030a09543e6a46336f98d9177af64d7.jpg) | Add to Reading ListSource URL: who.rocq.inria.frLanguage: English - Date: 2018-06-14 07:12:37
|
---|
54![TribeFlow: Mining & Predicting User Trajectories Flavio Figueiredo1,2 , Bruno Ribeiro4,5 , Jussara Almeida3 , Christos Faloutsos5 1 UFCG - Brazil, TribeFlow: Mining & Predicting User Trajectories Flavio Figueiredo1,2 , Bruno Ribeiro4,5 , Jussara Almeida3 , Christos Faloutsos5 1 UFCG - Brazil,](https://www.pdfsearch.io/img/496376313a3621e3a22f71ef2f492617.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 01:33:40
|
---|
55![Frequency Estimation of Virtual Call Targets for Object-Oriented Programs Cheng Zhang1 , Hao Xu2, , Sai Zhang3 , Jianjun Zhao1,2 , and Yuting Chen2 1 Department of Computer Science and Engineering, Shanghai Jiao Tong U Frequency Estimation of Virtual Call Targets for Object-Oriented Programs Cheng Zhang1 , Hao Xu2, , Sai Zhang3 , Jianjun Zhao1,2 , and Yuting Chen2 1 Department of Computer Science and Engineering, Shanghai Jiao Tong U](https://www.pdfsearch.io/img/4ce56aee227456c4b6daf899b3588632.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:34
|
---|
56![The Sum Can Be Weaker Than Each Part? Ga¨etan Leurent1 and Lei Wang2 1 2 The Sum Can Be Weaker Than Each Part? Ga¨etan Leurent1 and Lei Wang2 1 2](https://www.pdfsearch.io/img/4784b322815d52da7373141b0380e4b9.jpg) | Add to Reading ListSource URL: who.rocq.inria.frLanguage: English - Date: 2018-06-14 07:12:40
|
---|
57![Exploiting sparsity in difference-bound matrices Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Exploiting sparsity in difference-bound matrices Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2](https://www.pdfsearch.io/img/56b08cdf607cf73b04358b63e0ada914.jpg) | Add to Reading ListSource URL: seahorn.github.ioLanguage: English - Date: 2018-08-03 20:31:21
|
---|
58![Hiding Transaction Amounts and Balances in Bitcoin Elli Androulaki1 and Ghassan O. Karame2 1 2 Hiding Transaction Amounts and Balances in Bitcoin Elli Androulaki1 and Ghassan O. Karame2 1 2](https://www.pdfsearch.io/img/64e3c2587eccbd1b6e4bc43f4e1370c4.jpg) | Add to Reading ListSource URL: pdfs.semanticscholar.orgLanguage: English - Date: 2018-09-05 02:39:33
|
---|
59![Tagesmenu 1. Nationale und internationale Regulierungsbestrebungen 2. Tagesmenu 1. Nationale und internationale Regulierungsbestrebungen 2.](https://www.pdfsearch.io/img/898d520a3ea86c858177b726c7d8ce7b.jpg) | Add to Reading ListSource URL: www.vqf.ch- Date: 2018-05-02 10:25:06
|
---|
60![Scalable Fine-Grained Proofs for Formula Processing Haniel Barbosa1,2(B) , Jasmin Christian Blanchette3,1,4 , and Pascal Fontaine1 1 Université de Lorraine, CNRS, Inria, LORIA, Nancy, France Scalable Fine-Grained Proofs for Formula Processing Haniel Barbosa1,2(B) , Jasmin Christian Blanchette3,1,4 , and Pascal Fontaine1 1 Université de Lorraine, CNRS, Inria, LORIA, Nancy, France](https://www.pdfsearch.io/img/f4a5a2876bce470b8988dd0944856d14.jpg) | Add to Reading ListSource URL: pxtp.github.ioLanguage: English - Date: 2017-09-19 19:50:55
|
---|